Nuprl Lemma : null-map
0,22
postcript
pdf
f
:Top,
L
:Top List. null(map(
f
;
L
)) ~ null(
L
)
latex
Definitions
x
:
A
.
B
(
x
)
,
t
T
,
Top
Lemmas
top
wf
origin
f:Top, L:Top List. null(map(f;L)) ~ null(L) f:Top, L:Top List. null(map(f;L)) ~ null(L) x:A. B(x)
T